import __00SetRelation as sr
import _00SetFunc as ss 

#验证自反闭包，对称闭包，传递闭包性质
Xm,Ym,n=10,8,10 
X=set(range(Xm))
Y=set(range(Ym))
R1=sr.createrelation(X,Y,n)
R2=R1|sr.createrelation(X,Y,n)
tv=R1<=R2
print("R1,R2",R1,R2)
print("R1<=R2",tv)
tv=sr.r(X,R1)<=sr.r(X,R2)
print("r(X,R1)<=r(X,R2)",tv)
tv=sr.s(X,R1)<=sr.s(X,R2)
print("s(X,R1)<=s(X,R2)",tv)
tv=sr.t(X,R1)<=sr.t(X,R2)
print("t(X,R1)<=t(X,R2)",tv)